проективный функтор

См. также в других словарях:

• ПРОЕКТИВНЫЙ ОБЪЕКТ — категории понятие, формализующее свойства ретрактов (или прямых слагаемых) свободных групп, свободных модулей и т. п. Объект Ркатегории наз. проективным, если для всякого эпиморфизма и произвольного морфизма найдется такой морфизм , что g=g v… …   Математическая энциклопедия

• ПРОЕКТИВНЫЙ ПРЕДЕЛ — обратный пре д е л, конструкция, возникшая первоначально в теории множеств и топологии, а затем нашедшая широкое применение во многих разделах математики. Наиболее часто используется П. п. семейства однотипных мате матич. структур,… …   Математическая энциклопедия

• ПРОЕКТИВНЫЙ МОДУЛЬ — модуль Р, удовлетворяющий любому из следующих эквивалентных условий: 1) для любого эпиморфизма модулей и любого гомоморфизма найдется такой гомоморфизм g: Р С, что b=ag; 2) модуль Рявляется прямым слагаемым свободного модуля; 3) функтор Ноm ( Р,… …   Математическая энциклопедия

• АЛГЕБРАИЧЕСКАЯ K-ТЕОРИЯ — раздел алгебры, к рый в основном занимается изучением К функторов по существу это часть общей линейной алгебры. Она имеет дело со структурной теорией проективных модулей и их групп автоморфизмов. Упрощенно, это обобщение результатов о… …   Математическая энциклопедия

• МОДУЛЬ — абелева группа с кольцом операторов. М. является обобщением (линейного) векторного пространства над полем Кдля случая, когда Кзаменяется нек рым кольцом. Пусть задано кольцо А. Аддитивная абелева группа Мназ. левым А модулем, если определено… …   Математическая энциклопедия

• РИМАНА - РОХА ТЕОРЕМА — теорема, позволяющая выразить эйлерову характеристику c(Е). локально свободного пучка Ена алгебраическом или аналитич. многообразии Xв терминах характеристич. классов Чжэня пучка Еи многообразия X. Она может быть применена для вычисления… …   Математическая энциклопедия

• ОТНОСИТЕЛЬНАЯ ГОМОЛОГИЧЕСКАЯ АЛГЕБРА — гомологическая алгебра, ассоциированная с парой абелевых категорий и фиксированным функтором . Функтор предполагается аддитивным, точным и полным. Короткая точная после довательность объектов категории наз. допустимой, если точная… …   Математическая энциклопедия

• ПИКАРА СХЕМА — естественное обобщение в рамках теории схем понятия Пикара многообразия гладкого алгебраич. многообразий X. Для определения П. с. произвольной S схемы Храссматривается относительный функтор Пикара PicX/S на категории Sch/S схем над схемой S.… …   Математическая энциклопедия

• СХЕМА — окольцованное пространство, локально изоморфное аффинной схеме. Подробнее, С. состоит из топологич. пространстна X (базисного пространства схемы) и пучка коммутативных колец с единицей на Х (структурного пучка схемы); при этом должно существовать …   Математическая энциклопедия

• ГОМОЛОГИЧЕСКАЯ РАЗМЕРНОСТЬ — числовая характеристика объекта категории относительно некоторого выделенного класса объектов этой категории. Основная область применения этого понятия категории модулей над кольцом. Пусть фиксированный класс объектов абелевой категории и объект… …   Математическая энциклопедия

• МОНОИДАЛЬНОЕ ПРЕОБРАЗОВАНИЕ — раздутие, s процесс, специального вида бирациональный морфизм алгебраич. многообразий или биме роморфный морфизм аналитич. ространств. Пусть, напр., X алгебраич. многообразие (или произвольная схема), а замкнутое подмногообразие, задаваемое… …   Математическая энциклопедия